Create nodes and edges using the provided controls above in order to create a Kripke model.
The nodes and edges sliders allow you to set the atoms and agents to be considered respectively. By setting the toggle switches for the nodes you are able to set the truth value of a selected node (the node highlighted in yellow). The
toggle switches for the agents allows you to set the access it has to a certain node. You can do this by selecting an edge, which will thicken upon selection, and setting the toggle switches.
Use the first inputbox at the prover section to select a desired world and the second inputbox to make inquiries about said world.
Note that currently you are required to use full form when writing logical sentences.